(defun make-env(largs)
  (labels ((aux (l n )
		(if(null l )
		    l
		  (cons (cons (car l ) (- n) )
			(aux (cdr l) (+1 n )))))
	   (aux largs)))
  ( + 1 (length largs)))